l\_all2($L$;$T$;$x$,$y$.$P$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. $x$ before $y$ $\in$ $L$ $\in$ $T$ $\Rightarrow$ $P$($x$;$y$)